main(){
   input = 10;
   while(true){
               input=input-1;
               if(input==0){
                           break;
               }
   }
   assert(input==0);
   return 0;
}
